interaction nets
Geometry of interaction
Graph rewriting
Lambda calculus
Linear graph grammar
Linear logic
Proof net
/suto3/google.iconinteraction nets
image interaction nets
define interaction nets
wikipedia interaction nets
weblio interaction nets
kotobank interaction nets
jisho interaction nets